<!doctype html>
<html>
    <body>
        <b>redirecting to documentation...</b>
        <script>
            window.location.replace('doc/');
        </script>
    </body>
</html>
